Trait isotope::ctx::eval::TerminationCondition[][src]

pub trait TerminationCondition {
    fn terminate(&self, term: &Term, ctx: &mut impl TyCtxMut + ?Sized) -> bool;
}
Expand description

A termination condition

Required methods

Whether to terminate a given reduction, given a term

Implementations on Foreign Types

Implementors